Nuprl Definition : ma-dout2 11,40
M.dout2(l;tg) == (M.2).1(rcv(l,tg))?Void 
latex

clarification:

M.dout2(l;tg) == fpf-cap((M.2).1;KindDeq;rcv(l,tg);Void) 
latex

Definitionsf(x)?z, t.1, t.2, KindDeq, rcv(l,tg), Void
FDL editor aliasesma-dout2

origin